Inference at * 
Iof proof for Lemma not-false:


  (False)  True 

latex

 by Auto 

latex

 .

Definitions	P  Q, P & Q, P  Q, x:A. B(x), A, P  Q, False, t  T, True
Lemmas	not wf, false wf, true wf